Publisher version (open access) of Computer-assisted discovery and proof